droits sur les noms

Les différentes versions de debian portent des noms de personnages de 
toys story. Comment ca se passe pour les droits ? Est-ce que debian a 
obtenu l’autorisation d’utiliser ces noms, ou meme paye une redevance 
pour ca ?