Antoine de Vaudémont (1400-1458)/descendants