Computing the bound of an Ore polynomial. Applications to factorization. (May 2019)