preuve séparation facteur à l'infini
preuve relations
Corrections reviewers 1 et 2