Cas contact (n'ayant pas reçu le sms de la sécu)

Bonjour
Mon fils (de 17ans) est depuis hier cas contact de sa petite amie testée positive au COVID
Il est en stage en entreprise avec le système GARANTI JEUNE, il lui faut donc la preuve qu'il est bien cas contact pour son employeur. Malheureusement il n'a pas été contacté par SMS ou tel par la sécu.
Que devons nous faire de notre côté pour avoir ce justificatif ?

Merci d'avance pour votre réponse