# tp config pour les tp linux