Title: Définition et utilisation des s-l graphes en démonstration automatique