Complétude d'un système formel pour prouver… · Super Livre