Représentation et utilisation de la connaissance en calcul propositionnel — Pierre Siegel