Of course I have forgotten something. The packages from rpms.ircam.fr will disappear from there as they are pushed to the planet. -- Arnaud