Jean Armand de Lestocq — French adventurer