Fin de l'occupation du théâtre de l'Odéon à Paris