It seems that what I am looking for is named a 2-pole 2-way switch (2P2T).
However I can't find one with a 1"/2.54 mm pitch from my usual european suppliers. If anyone knows where to get such ones without having to wait the 30 days delivery time associated with components bought from chinese suppliers on eBay, I'd be interested !