::
risolto !!!!!!!!!
grazie per la dritta del terminale
è bastato scrivere wich pdflatex (che era il compilatore adatto) per capire, come sospettavo, che non era pdflatexc ma pdflatex.
Ora compila perfettamente.
Ti ringrazio per l’aiuto veramente prezioso.
Un saluto