omkring katafalken utgjordes af detachement af republikens armé.