CQFD, démonstration de mode positive

par Luc Clément 28 septembre 2022
CQFD, démonstration de mode positive