  We provide a complete and self-contained proof of the Gevrey character, in an
analytic function $P$, of formal power series solutions of some families of
first order holomorphic PDEs. Our approach is based on a majorant series
technique by applying Nagumo norms joint with a division algorithm.
