Tous les logiciels à l'avenir seront formellement vérifiés. Nous en sommes encore aux débuts.