The CLAS12 large area RICH detector