El teorema PBW y los criterios de simplicidad para el álgebra envolvente de Poisson y el álgebra de operadores diferenciales de Poisson