Séminaire sur les pinceaux arithmétiques : la conjecture de Mordell