À propos du texte de démonstration tiré des exercices de géométrie de F. G.-M. Jean-Yves Hély — 1998 Publications mathématiques et informatique de Rennes