L'océan Indien dans la Seconde guerre mondiale — Henri Labrousse