Source: https://www.ccomptes.fr/system/files/2020-07/20200729-rapport-gestion-presidence-republique-2019.pdf