Doit-on dire un ou une pipe-line ?