7 résultats : preuve formelle