Nombres 15:35-36

35Le Seigneur dit alors à Moïse : « Cet homme doit être mis à mort ! Que toute la communauté le tue en lui jetant des pierres, à l'extérieur du camp. »

36On obéit à l'ordre du Seigneur : on emmena l'homme hors du camp, on lui jeta des pierres, et il mourut.