Extensions transitives de constructions spécificationnelles - Nakamura, Takuya,