Paulchouinard
Reserved seats are only available on the IC5 after Renens. And that train should be pretty empty on a Sunday at that time of the day anyway (no commuters).
If you think a reservation is still necessary on the IC5, make sure to select 1st class again before hitting the ‘Buy’ button. Otherwise you end up as proud owner of a reserved seat in 2nd…