Pour le calcul de la valeur actuelle valent comme "prestations assurées" au sens de l'art. 16 al. 2 et 3 première phrase LFLP seulement les prestations de prévoyance mais pas le (pré)financement de telles prestations (consid. 5.3). Les prestations règlementaires en cas de retraite anticipée, qui sont prévues pour la période transitoire jusqu'à la rente de vieillesse de l'AVS et de la prévoyance professionnelle sont des "rentes transitoires" au sens de l'art. 17 al. 2 let. c LFLP (consid. 5.4). Pour trancher la question du système selon lequel sont financées les prestations d'une institution de prévoyance, l'aspect temporel n'est pas seul déterminant; est aussi décisif le point de savoir si les cotisations correspondantes conduisent à une constitution méthodique du capital de couverture (consid. 6.3). Si les fonds pour la prestation en question proviennent de la dissolution de provisions techniques, respectivement de fonds libres, alors cette prestation n'a pas été financée selon le système de capitalisation (consid. 6.5). Il existe seulement un droit à une prestation de sortie, c'est-à-dire une prestation de sortie intégrale; pour le calcul de celle-ci selon les dispositions légales, il n'y a pas de place pour un cumul à l'intérieur de ce régime (consid. 7.3).