Il semble que Anne ait peu anticipé cette question puisqu'elle corrige au jugé les
entrées ... Dans la tradition hilbertienne[??], la recherche ne considère pas cette
.... des feuilles guidées, des TD, oui c'est faisable, je suis tout à fait d'accord. 
