Analyse des affirmations simples et lecture de fichier