Identifier les présupposés d'existence