De Lorraine, Charles Henri, active 1690-1708, Prince de Vaudémont