Calculabilité effective et algorithmique théorique — Patrick Vollat