airbus bosse aussi avec une boite en californie je crois (polyspace?) et surement bcp d'autres
mais c'est impressionnant si en pratique ca prouve tout le code