Les dépenses de défense des administrations publiques en 2019 — Observatoire économique de la défense. France