Durante un período se siguió usando también el de "San Bernardo".