Customize Elementor’s PHP in child theme

Hi,
I customised a PHP file of Elementor Pro to add some features. I’d like to put it in my child theme to keep the Elementor updates without overriding my modifications.

The file is initially located at plugins/elementor-pro/modules/woocommerce/wc-templates/cart/mini-cart.php. I tried putting my new file in themes/hello-elementor-child/elementor-pro/modules/woocommerce/wc-templates/cart/mini-cart.php but it doesn’t seem to get registered.

Is it the right way to do such a thing? I did it a few times with other plugins before, but I don’t know if it applies to Elementor. Maybe the path is wrong, or there’s a different proper way to do it.

Thank you for your help 🙂