Documents Cours La semantique relationnelle est injective pour la logique lineaire Daniel De Carvalho