exécutable du solver fait