[Observe-commits] 01/01: Test si le stream en entrée est gzippé lors de l'import d'un dump