Pour mon information : quel est la part des options dans les actifs des fonds de pension ? négligeable à mon avis, non ?