Formalités liés au COVID pour les navigateurs étrangers pour accéder au PORTUGAL

Bonjour a toute la communauté,

Mon ami navigateur Australien se trouve actuellement sur l'Ile de Ste Hélène au large des cotes africaines.
Il souhaite reprendre sa route et faire escale vers un Port du Portugal via le cap Vert, éventuellement les Canaries.
Il n'a pas les facilités, là ou il se trouve pour accéder à des informations via internet.
Il souhaiterait savoir s'il y a des formalités/restrictions particulières pour accéder aux marinas au Portugal.
Bien entendu, je suis consciente que la situation actuelle ne sera pas la même quand il arrivera a destination.
Toutefois, je profite de l'occasion pour collecter un maximum d'informations sur les marinas des cotes Portugaises, car il envisage également de laisser son voilier sur place là bas un moment.
Les bon plans sont donc les bienvenus.
Merci a tous et bon vent.
Sarah