Examen - 14 décembre 2015

On ajoute `a la signature une fonction binaire union. Ecrire une propriété qui spécifie que si t et u sont des arbres binaires de recherche ...

Correction feuille 1