Cocotte's compilation xxx by RK compilations