Finalmente, foi Cinnamon, que anulou o layout do teclado Xorg.
Como a seção do teclado nas configurações do Cinnamon contém apenas as configurações de atalhos, achei que não havia nada no Cinnamon para selecionar o layout do teclado.
Na verdade, foi na seção Regional Parameters ...
Então eu mudei o layout do teclado no Cinnamon e funciona agora.