Passer au contenu principal
Séance de cours

Récidive et induction : prouver les algorithmes correctement