Calculateurs, calculs, calculabilité — Olivier Ridoux, Gilles Lesventes