Séparer les noms avec une virgule.
Tout à fait d'accord avec toutes les réponses. Une solution très économique à ce problème est d'utiliser un vieux disque de quelques gigas et...