RALF - une plateforme de radio logicielle pour la formation