Il reste des sources secondaires de qualité mentionnant son patronyme, doit on considérer que c'est une autre personne ? Et si, du coup, tu considères que nous n'avons plus le droit de considérer que c'est la même personne, j'imagine qu'il faut que tu masques tout ce qui, dans l'article, fait référence à la partie de la carrière où Haroun se faisait connaître sous son patronyme complet ?