Diapirism of carbonate platforms subducted into the upper mantle