Portail immobilier du DDPS: Les données pour le tableau des coûts ont été actualisées avec l'indice au 1.10.2023 et sont disponibles dès maintenant.