You can also catch one leaving at 1330h from the Airport CDG terminal 2 direct to Irun.
Just write CDG2 for the departing city on the TGV search engine.
Cost differs depending on the day of travel and the time of the trip is between 6 and 7 hours.
Have a good trip.
Jean-Marc