Les effectifs militaires et civils du ministère de la défense en 2013 — Observatoire économique de la défense. France