Vous pouvez vérifier que ce portail existe dans la liste des portails :
Liste des portails HAL
Si vous pensez que c'est une erreur, merci de contacter le support : hal.support@ccsd.cnrs.fr