et il jeta des pierres au roi David ainsi qu’à tous ses serviteurs, alors même que tout le peuple et tous les hommes vaillants se tenaient à la droite et à la gauche du roi.