+2 papiers d'Abadi et Cardelli