procedure:sur_le_systeme