Séminaire de Mathématiques Supérieures 2022: Floer Homotopy Theory