ajout de tests pour tas.ml : exhibition d'un misfonctionnement occasionnel de extract_min