Almost all Classical Theorems are Intuitionistic Pierre Lescanne RAIRO-Theor. Inf. Appl., 56 (2022) 9 Published online: 20 December 2022 DOI: 10.1051/ita/2022009