Compiler mieux : optimisations, analyses statiques, et leur vérification