Ouais enfin le "ça prouve l'A380" ça veut pas dire grand chose, vu qu'une grosse partie du code vient de sous traitants qui prouvent de leur côté... Et vu le nombre de calculateurs indépendant qui sont intégrés à la bestiole.