PostgreSQL 17 default value assignment doesn't work in pgAdmin4 v9.4

Hi, 

According to the official PosgreSQL 17 documentation (https://www.postgresql.org/docs/current/ddl-default.html),  default values are listed after the column data type following this format :

column_name column_data_type DEFAULT default_value

For example :

price numeric DEFAULT 9.99 (where price is the column_name, numeric the column_data_type, and 9.99 the default_value)

Can then someone explain me why the same format works in this case :
https://transfert.free.fr/P6wOY5x

but not in this other one :

https://transfert.free.fr/66abCAs