The historical encyclopedia of World War II by Marcel Baudot