Mort de Diogo Jota: l'hommage du président portugais