quand on fait une modif sur le fichier /etc/sources.list, doit-on faire un kill -HUP sur un processus particulier ? PS : je ne dirais que non mais c'est plus pour confirmation. merci