Re: [Pharo-users] Pb with the CI @ INRIA?