carné de vacunación o el certificado digital