(while read ; do TRAITEMENT_D_UNE_LIGNE $REPLY ; done) < FICHIER


# ATTENTION : ne pas utiliser de read au sein de la boucle do/done, cela perturbe le fonctionnement (car les read supplémentaires vont, eux aussi, lire sur l'entrée standard, autrement dit dans ce cas dans FICHIER).
# Plus exactement, si l'on veut tout de même utiliser read dans la boucle il convient alors de spécifier sa "source", comme dans :
	(while read ; do TRAITEMENT_D_UNE_LIGNE $REPLY ; read < /dev/tty ; done) < FICHIER
OU son équivalent un rien plus concis :
	(while read ; do TRAITEMENT_D_UNE_LIGNE $REPLY ; read -u 1 ; done) < FICHIER