Logique; vol. 1: Méthodes pour l'informatique fondamentale