Remise à niveau en Logique Calculabilité et Complexité : les fondements