Poisson double extensions (Q2309653)

\textit{J. J. Zhang} and \textit{J. Zhang} [J. Pure Appl. Algebra 212, No. 12, 2668--2690 (2008; Zbl 1157.16009)] defined a very useful concept ``double Ore extension'' for constructing Artin-Schelter regular algebras. Launois and Lecoutre proved that a class of Ore extensions can be viewed as deformation quantizations of Poisson polynomial extensions. Is a double Ore extension is a deformation quantization of a Poisson algebra? The main aim of this article is to prove that algebras in a class of double Ore extensions are deformation quantizations of certain Poisson algebras called Poisson double extensions