Erreur de syntaxe MySQL dans l'instruction WHILE

La procédure semble correcte, je suppose qu'il vous manque le délimiteur

delimiter //
CREATE PROCEDURE dowhile()
  BEGIN
   DECLARE v1 INT DEFAULT 5;
    WHILE v1 > 0 DO
     SET v1 = v1 - 1;
   END WHILE;
 END; //
delimiter ;