Formal $P$-Gevrey series solutions of first order holomorphic PDEs

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.