TD 1 : Correction et Complexité
Corriger la méthode ?rechercheVite? et compléter l'invariant, le variant et la post-
condition. 2 La méthode ?positifNegatif? réordonne un tableau d'entiers en ...
Corriger la méthode ?rechercheVite? et compléter l'invariant, le variant et la post-
condition. 2 La méthode ?positifNegatif? réordonne un tableau d'entiers en ...