Hello;
I followed this link : Could you share your PPA list?
And updated my ppa list.
Now http://ppa.launchpad.net/ubuntu-pi-flavour-makers/ppa/ubuntu is back and using apt-get install upgrade I get the vlc properly compiled with OpenMax IL
And guess what ?! That works !! :))))))))