ce qu'il faut justifier c'est A(tA-I)(B-I)=(A-I)diag(2,...,2,0(ieme),2...,2),j'ai fait avec maple un petit exemple,mais j'obtient pas ce résultat. D'ailleurs on lance pas des résultats de telle façon et on dit que "l'exo ne contient pas des trucs qui doivent être justifiés",ça pourrait être évident dans ta tête pas sur la feuille....