intanto grazie mille per le risposte a entrambi.
i pulsanti sono questi:
e li ho trovati come DOME SWITCH. credo comunque che i tact switch siano più o meno la stessa cosa solo che inseriti in un involucro rigido esterno per poter essere collegati ad un circuito!