Hi Cyril,
Unfortunately 4-corner correction is not supported through HDMI. Please have a look here for more information: INFO: Limitations of features for HDMI and USB-C inputs
I was disappointed when I found out, but have accepted that when using HDMI the projector must be in the middle.
Regards,
Mattias