Automation of line 4 of the Paris metro