Text this: La répression allemande en France, 1940-1944 : principaux chiffres