Une proposition de formalisme orienté composant by Céline Bigot