Il y dit expressément qu’il est le fils d’Amaury Duval. Donc, il faut croire que Larousse se trompe.Un autre mystère : pourquoi toutes les sources donnentelles Pineux comme vrai nom de la première génération de la famille (ou parfois PineuxDuval) quand les mêmes sources donnent Pineu ou PineuDuval pour vrai nom d'AmauryDuval, sans x ?