recherche-en-cours-model-checking-spot-home-02