Cours de Logique Mathematique Semantique. Logique a l'Usage du Calculateur 2