petit dictionnaire d'occupation daté 1940 français allemand original