In una pagina HTML devo dare la possibilità agli utenti di fare il download di alcunii files .pdf e non di farli aprire a video come un collegamento ipertestuale, come posso fare ?