Le MPC dans le Paradigme de la Tête expliqué par @mvenkita Voici une session complète au tableau blanc sur le Système de Preuve Ligero :