( 20 milliarder frcs ),