disjonction des procédures
USE
DISJONCTION DE CAUSES