Pour VLC, ce n'est pas possible étant donné qu'il utilise ses propres codecs, et le rv40, comme tous les formats Real, n'en fait pas partie.
Avec totem, il faudrait que les plugins gstreamer aient le format rv40. Mais comme pour VLC, ce n'est pas le cas (format proprio fermé).
Et pour Mplayer, il suffit d'installer le paquet w32codecs des dépôts medibuntu. Ça fonctionne à merveille.