Contact tracing with the TousAntiCovid application