if x isa Vache then
	# Ici, le type statique de x est Vache
	x.broute
end
# Le type statique de x est redevnu Animal