Il faudrait garder l'ensemble pédagogique, tout en donnant des moyens de pousser l'affaire plus loin si on le désire. Les <url>s font l'affaire pour « n'importe quel taupin », certes, mais en quoi cela empêchetil d'être rigoureux et de proposer une démonstration valable (même inaccessible au taupin moyen) ?