s%C3%A9minaire-de-math%C3%A9matiques-sup%C3%A9rieures-2022-floer-homotopy-theory