Résumé Le projet Mentoniezh («géométrie», en breton) vise à développer un tuteur intelligent pour la démonstration en géométrie euclidienne plane, à destination des classes de