Merge branch '650-erreur-lors-de-la-generation-des-fichiers-why3-avec-certaines-construction-pas-encore-vraiment-identifie' into 'stable/potassium'

Resolve "Erreur lors de la génération des fichiers Why3 avec certaines construction (pas encore vraiment identifié)"

See merge request frama-c/frama-c!2258