Représentation des ensembles en démonstration automatique — Bernard Merialdo