Quelques extensions de la logique de séparation