Offre de stage : Validation formelle d’un cache à cohérence globale – S12Alternances et stages / Montbonnot