Séminaires Une belle journée consacrée à des fragments décidables de la logique du premier ordre 17 novembre 2021