Un antitrumpisme discret mais bien présent aux JO