L’étude présentée dans cet article vise à identifier et à analyser les difficultés des étudiants algériens de deuxième année universitaire à travailler des preuves. En effet, les cours de mathématiques de première année deviennent très difficiles aussi bien pour les étudiants qui se spécialiseront en mathématiques par la suite que pour les étudiants de la plupart des filières d’ingénieurs, à cause du fait que presque tous les exercices proposés portent sur la preuve. Les enseignants ont aussi leur part de problèmes à faire passer ces cours, particulièrement depuis la dernière réforme algérienne par laquelle le cours d’algèbre a été totalement supprimé du programme1 du lycée, ainsi que les chapitres de logique mathématique et de théorie des ensembles. Cette situation problématique n’est pas propre à l’Algérie : plusieurs recherches traitant de la preuve ont montré combien les tâches de démonstration, omniprésentes dans les cours d’algèbre abstraite à l’université, étaient épineuses pour les étudiants. L’autrice présente les difficultés identifiées sur des copies d’examens d’étudiants de deuxième année de filière mathématique.