la fonction end of file n'existe pas sous python?
merci