Protocoles personnalisés en logique de séparation : ressources fantômes et invariants dans la logique Iris