(Normalement non, mais bon, j'imagine que ça dépend des politiques des distributions... le gestionnaire de Mandriva me demande toujours si je veux ou non les garder en changeant l'extension)