Pour ceux qui cherchent à calculer leur (vrai) ipv6 pour leur dedibox (et pour les dedibox *seulement*), j'ai crée un petit outil qui permet de sortir l'ipv6 et ce qu'il faut mettre dans le /etc/network/interfaces à partir de la sortie de ifconfig eth0

C'est par ici que ça se passe.

Si vous rencontrez, signalez le moi ici.