vérification et correction des niveaux de VERBOSE dans satSlver.cpp