Optimisations globales : Permet les optimisations globales ; incompatible avec toutes les options de vérification à l'exécution ...