Vu les faits suivants
A. La loi fédérale sur la prévoyance professionnelle vieillesse, survivants et invalidité (LPP ; RS 831.40) a été modifiée le 17 décembre 2010 (RO 2011 3385 ss). On extrait notamment ce qui suit du Message relatif à cette modification dans sa version condensée (FF 2008 7619 ss) :
"Les institutions de prévoyance de corporations de droit public (IPDP) actuellement
régies selon le système de la capitalisation partielle seront entièrement capitalisées
sur une période de 40 ans et rendues indépendantes tant sur les plans juridique qu’organisationnel.
(…)