Théorèmes -- Démonstration automatique — 4 œuvres