sur 12
Eléments de logique formelle — Gérard Chazal