Aggiornamento: adesso quando collego Arduino si attiva una COM5 riportata come USB-SERIAL CH340, che è ciò che trovo scritto sul retro della scheda.
Mi sembra di capire che adesso il PC vede un qualcosa che però probabilmente non identifica. Potrebbe essere un problema di driver oppure in IDE sbaglio a selezionare la scheda: io ho "caricato" Arduino AVR Boards dal gestore schede, dovevo fare altro?
Ancora, c'è un modo per verificare che Arduino colloquia correttamente con IDE senza dover fare la prova di caricare uno sketch?