Hi Nicolas,
I don't know where to buy these switches, but they should be of standard production. If you remove them from the board, may be able to find similar items browsing on Mouser or the like. Otherwise, you may be lucky enough to find them in an electronic components shop.
By the way...