Intuitionnisme et théorie de la démonstration — Centre de logique. Louvain-la-Neuve, Belgique