Complexité de la preuve et compilation de connaissances · CRIL - Centre de recherche en informatique de Lens, Doctorat · La Géode