# printfile(file) -- lit un fichier et l'affiche
function printfile(file)
{
    if ((getline tmp < file) < 0)
        return

    print tmp
    while ((getline tmp < file) > 0)
        print tmp
    close(file)
    return
}