xxxref nécessite de passer à \linenum 3 infos par label, et non pas 4 (pas besoin du pstart)