Well that was extremely easy, well-organised and quick.
After perhaps 10 minutes of queuing we got to a table where they checked all the documents Catrin had brought, and all was OK.
Then 5 minutes later we were at the counter where everything was sorted, filed and Catrin was given her Certificats de Scolarité, access codes for internet and the library and a receipt for the tuition fees of 190 euros listing where all had been spent.
Then 5 minutes later Catrin's Carte Etudiante was done. This card functions as a payment card in the university restaurants as well as giving proof of student status for concerts, rail travel etc.
By 11:15 we were home.