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
Soit x une formule, la décomposition de f est la liste de formule(s) :