Logique et modèles de calculs plus puissants que Turing