modifications suite aux erreurs de la fonction isinf()
rectification d'erreur sur la fonction isinensembleG
ajout de tous les tests dans le main