Optiplan : Encodage CSP pour planification HTN-POCL optimale. - Oleksandr Firsov; Humbert Fiorino; Damien Pellier (JIAF-JFPDA, 2025)