Source: https://www.ccomptes.fr/sites/default/files/2018-05/20180523-rapport-budget-Etat-2017.pdf