La campagne de mai 1940. - Ministère de la défense nationale. Service historique de l'armée section Campagne 1940 (1945)