linux : ajout de pilotes, pilote pour disquette passé en module