existence - logique -