Bem, encontrei-me a resposta, lançando o VLC do terminal, que me deu:
main input error: ES_OUT_RESET_PCR called
Pesquisando, achei isso: Como reproduzir DVDs depois de instalar as bibliotecas recomendadas?
Eu tive que mudar o código da região (embora eu nunca tenha mudado de fato ...) para "2" (Europa) instalando o Regionset:
sudo apt-get install regionset
então
regionset /dev/sr0
Confirmando que eu quero alterar o código da região para esta unidade de DVD e defini-la como "2".
Eu acho que isso não explica o que o problema foi devido, mas de qualquer forma, está funcionando agora:)