13 Juillet , repas républicain.