We reinterpret the main conjecture of [10] on the locally analytic Ext1 in a functorial way using (φ, Γ)-modules (possibly with t-torsion) over the Robba ring, making it more accurate. Then we prove several special or partial cases of this "improved" conjecture, notably for GL3(ℚp).