Lecture de probas depuis un fichier