SNCF : que contient l'accord conclu entre les syndicats et la direction sur la fin de carrière qui permet d'éviter une grève en mai ?