We found dry wood termites in our house, and fumigation is not an
option for us. A termite inspector suggested local treatment with
termicides based on Pyrythrin. But I could not find such a substance:
looks like Pyrythrin is a very mild insecticide, and it is not used
against termites.

What termicide is known to be efficient against dry wood termites ?