Bernardet, Philibertus