, 2012, 'Les deux formes de la thèse de Church-Turing et l'épistémologie du calcul', Philosophia Scientiae 16 (3), 39-67.