Formalisation et opérations de repérage — Antoine Culioli