Comment reconnaître si une tresse est vraiment tressée ? Est-ce qu'un ordinateur est capable de le faire rapidement ?
Partant d'une identité différentielle dont on peut saisir le sens en L1, on évoquera plusieurs preuves possibles...
Qu'est-ce qui pousse un ingénieur Écossais à lancer son cheval au galop le long d'un canal ?