1/ Que faîtes-vous pour amorcer une pompe drainée externe lors de sa première mise en service ?