Around the numeric-symbolic computation of differential Galois groups