décomposition d'une formule

Soit x une formule, la décomposition de f est la liste de formule(s) :

• si x est une application y z: la décomposition de y suivit de z
• sinon: la liste constituée du seul élément x