For the people asking about PS5 compatibility, there really are no good options for using the Bathys on PS5. You can't get the best audio quality out of the system because you're either connecting via bluetooth or via 3.5mm which is only going to offer decent quality if you're pushing it through another DAC like the iFi Zen Dac that I use with my PS5. But even then, you're putting it through 3 stages of D/A conversion which compromises the quality as compared to if you could just plug it in via the USB-C.
And that's just to get the audio working. Then you have to worry about a microphone. I use the Antlion Modmic Wireless clipped to my shirt when I have tried this, but as I say, it's unworthwhile overall.
And all of that, for audio that just isn't all that great for games anyway. The Bathy's sound nice enough but they're not that spacious, they don't represent the depth of a 3D space too well and while the imaging is decent, I have low budget gaming headphones with better imaging and sound stage. I enjoy the Philips Fidelio 2XR + V-Moda Boom Pro plugged into the controller more than the Focal Bathys for games. They're less detail orientated yes, but they're much more spatious and immersive while being more comfortable and less fatiguing for gaming sessions.
What I actually use for games is the LCD-GX through a iFi Zen Dac alongside the Ant Lion Modmic wireless. It's a good setup but I actually wouldn't recommend the Zen Dac as it's UAC1 mode is temperamental. They released an update a while back to enable the dac to recognise when it needs to be in UAC1 and support that configuration for compatibility with devices like the PS5, but it does not always work. Quite often I am switching the PS5 on and off again while plugging in the Zen DAC to get it to be recognised.
But, if you're really dead set on say, having the Bathys are your only headphone for everything then the absolute best setup is wired with a DAC and the antlion modmic wireless. I'd look into alternatives to the Zen DAC though, you want something with out of the box UAC1 compatibility. Bluetooth is another option with the modmic wireless too but I think the delay on Bluetooth audio is intolerable for games so that's not an area I would pursue personally.