Entrée de Paris et sa banlieue dans la deuxième Guerre mondiale, 13 et 14 juin 1940 — Hervé Revel