Invalidate cache on why3 version
Le premier commit améliore et utilise les fonctions d'output de Utils, le deuxième implémente la logique de changement de version
Le premier commit améliore et utilise les fonctions d'output de Utils, le deuxième implémente la logique de changement de version