Jean de Laborde — French admiral (1878-1977)