Hi Antoine,
The problem here is, that those are not separate filters, but only one single filter with sub-categories. The sub-categories cannot be treated as separate filters, those are part of the single filter.
The logic that controls the individual filters when using checkboxes is this here: https://i.imgur.com/BGm7EWC.png
You can try each of the options, to see which one is the closest to your needs. The best solution would be to use separate taxonomies for each property, so they are separated much better, and the logic between the filters would then apply.
