Hi,
Yes, sorry about that, I don’t know why I did not think about it.
I tried this solution (even though I don’t use pulseaudio), this solution and this solution. None of them worked.
I also just tried this one: it brings back the sound but not the internal microphone.
I hope this helps.