Ricerca Binaria (con while)