lost wallet and french minor id card

My son curently in DUBLIN (erasmus student) lost his wallet (small black) with his french id card in it , also french credit card and local transport card. In bus C1 between 8:30 - 9:30 AM on june fifth. My son is 17 years. He was sitting at the 2nd floor. Bus got out : Bachelor's walk - Bus stop got on fforster green Many thanks for your help