ð IA de confiance: du nouveau dans la validation formelle des réseaux de neurones