Jersey Mike's dépose son dossier d'introduction en Bourse, valorisation jusqu'à 12 milliards de dollars